<?hh <<__EntryPoint>> function main(): void {
ini_set('precision', 12);
$foo = 1.428571428571428647642857142;
$bar = unserialize(serialize($foo));
var_dump(($foo === $bar));
}
